Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
131	E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985. Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:51 Year of birth missing Actor model Concurrent computing Logic programming Prolog Barbara Jane Liskov Programming language Indeterminacy in concurrent computation Keith Clark Computing Software engineering Computer programming
132	Research on Language and Computation 00: 1–30, 2006. c 2006 Springer Science+Business Media, Inc. Manufactured in The Netherlands. 1 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2009-01-26 11:47:47 Compagnies Républicaines de Sécurité Ellipsis Semantics Parameter Syntax Newline Grammar Linguistics Language
133	Research on Language and Computation 00: 1–30, 2007. c 2007 Springer Science+Business Media, Inc. Manufactured in The Netherlands. 1 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2009-01-26 11:47:56 Syntax Software engineering Mathematical notation Ellipsis Parsing Formal grammar Semantics Linguistics Formal languages Grammar
134	Taxonomy Induction Using Hierarchical Random Graphs Trevor Fountain and Mirella Lapata Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9 Add to Reading List Source URL: www.texasexpat.net Language: English - Date: 2012-06-03 13:35:45 Linguistics Science Network analysis Cluster analysis Data mining Geostatistics WordNet Hierarchical clustering Word-sense disambiguation Statistics Computational linguistics Knowledge representation
135	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
136	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering
137	Associate Editors Rick Altman, Film Studies, University of Iowa Carolyn Birdsall, Media Studies, University of Amsterdam Rüdiger Campe, German Language and Literature, Yale University Karine Chemla, Sinology, Centre Na Add to Reading List Source URL: press.uchicago.edu Language: English - Date: 2015-04-03 14:23:35 Aesthetics Musicology Digital humanities Institute for Logic Language and Computation Science Leiden University Anthropology Social science Anthony Grafton Academia Humanities Knowledge
138	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2006-08-28 10:46:06 Computer architecture Reconfigurable computing Models of computation Digital electronics Field-programmable gate array Programming paradigms Parallel computing Dataflow Hardware description language Electronic engineering Computing Electronics
139	Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande Torsten Schaub∗ Hans Tompits Add to Reading List Source URL: www.cs.sfu.ca Language: English Action language Preference State transition system Artificial intelligence Social choice theory Economics Automated planning and scheduling Models of computation Social psychology
140	Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification Redge Bartholomew Software Design Support Engineering and Technology Rockwell Collins, Inc. Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2007-09-10 11:09:21 Software development Assembly languages Computer architecture X86 assembly language Low-level programming language JMP DO-178B Avionics software Software verification X86 architecture Computing Avionics